Information and Computation - PDFSEARCH.IO - Document Search Engine

Information and Computation
Results: 338

#	Item
141	Quantum boolean functions Ashley Montanaro∗ and Tobias J. Osborne† May 31, 2010 Abstract In this paper we introduce the study of quantum boolean functions, which are unitary Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:28:45 Quantum mechanics Models of computation Quantum algorithm Quantum error correction Quantum measurement Quantum circuit Quantum computer Boolean algebra Quantum programming Theoretical computer science Quantum information science Applied mathematics
142	Gauge Color Codes H´ector Bomb´ın Department of Mathematical Sciences, University of Copenhagen Transversal gates and spatial dimension In fault-tolerant quantum computation [1], quantum information is protected from Add to Reading List Source URL: www.quantum-lab.org Language: English - Date: 2014-11-28 23:31:35 Physics Quantum error correction Toric code Topological order Stabilizer code Quantum computer Quantum circuit Qubit Quantum gate Quantum information science Theoretical computer science Quantum mechanics
143	A functional quantum programming language Thorsten Altenkirch and Jonathan Grattage School of Computer Science and IT, Nottingham University email: {txa,jjg}@cs.nott.ac.uk Abstract Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:42:44 Applied mathematics Models of computation Quantum mechanics Symbol Quantum circuit Quantum computer Quantum operation Quantum programming Quantum gate Theoretical computer science Quantum information science Physics
144	Virtual Earthquake and seismology Research Community e-‐science environment in Europe Project 283543 – FP7-‐INFRASTRUCTURES-‐2011-‐2 – www. Add to Reading List Source URL: www.verce.eu Language: English - Date: 2015-03-11 11:07:17 Groupware Management Workflow Portable Executable Dataflow Information technology management Workflow technology Computing Models of computation
145	Combining Secret Sharing and Garbled Circuits for Efficient Private IEEE 754 Floating-Point Computations Pille Pullonen1,2 and Sander Siim1,2 1 Cybernetica AS Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-12-10 10:34:14 Information Cryptography Secure multi-party computation Key management Communications protocol Lookup table Homomorphic encryption Secret sharing Transmission Control Protocol Cryptographic protocols Data Computing
146	What Information is Leaked under Concurrent Composition?∗ Vipul Goyal Microsoft Research India and Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-04 11:22:52 Computing Information Secure multi-party computation Zero-knowledge proof Actor model Communications protocol Ciphertext indistinguishability X Window System Commitment scheme Cryptographic protocols Cryptography Data
147	References [1] L. Aceto, W.J. Fokkink, R.J. van Glabbeek & A. Ing´olfsd´ottir (1996): Axiomatizing Prefix Iteration with Silent Steps. Information and Computation 127(1), pp. 26–40, doi:incoAvail Add to Reading List Source URL: rvg.web.cse.unsw.edu.au Language: English - Date: 2015-05-13 04:41:10 Glabbeek Lecture Notes in Computer Science Operational semantics Geography of Belgium Computer science Belgium Electronic Proceedings in Theoretical Computer Science Logic in computer science Programming language semantics
148	First-class labels for extensible rows Technical report: UU-CSDaan Leijen Institute of Information and Computing Sciences, Utrecht University P.O.Box, 3508 TB Utrecht, The Netherlands Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-04-26 18:48:58 Applied mathematics Formal methods Models of computation Computability theory System F Predicate Lambda calculus Function Unification Mathematics Type theory Theoretical computer science
149	1975 A C M F u r i n g Award t,ecture The 1975 ACM Turing Award was presented jointly to Allen Newell and Herbert A. Simon at the ACM Annual Conference in Mim?eapolis, October 20. In introducing the recipients, Bernard A Add to Reading List Source URL: mypage.iu.edu Language: English - Date: 2015-01-11 16:22:38 Theory of computation Turing machine Models of computation Computability theory Philosophy of artificial intelligence Physical symbol system Information theory Turing Award Allen Newell Science Computer science Alan Turing
150	Algorithmic Probability — Its Discovery — Its Properties and Application to Strong AI Ray J. Solomonoff Visiting Professor, Computer Learning Research Centre Royal Holloway, University of London IDSIA, Galleria 2, CH Add to Reading List Source URL: world.std.com Language: English - Date: 2014-07-03 19:23:23 Computability theory Artificial intelligence Turing machine Algorithmic information theory Ray Solomonoff Kolmogorov complexity Algorithmic probability Universal Turing machine Inductive inference Theoretical computer science Applied mathematics Theory of computation

UPDATE